Software for Computer Systems Trojans Detection as a Safety-Case Tool

摘要

A behavioral model of Trojans which formalizes the features of Trojans functioning in computer systems is proposed. Software for computer systems Trojans diagnosis was developed. It is based on methods of diagnosing computer systems in monitor and scanner modes and allows improving reliability and efficiency. Trojan diagnosis software makes it possible to detect the new Trojans with high reliability and efficiency.